Alias analysis - PDFSEARCH.IO - Document Search Engine

Alias analysis
Results: 43

#	Item
21	DeAliaser: Alias Speculation Using Atomic Region Support Wonsun Ahn Yuelu Duan Josep Torrellas Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2013-01-25 16:44:16 Software engineering Programming language implementation Central processing unit Computer memory Compiler construction Alias analysis CPU cache Loop unwinding Linearizability Computing Computer architecture Compiler optimizations
22	立法會 Legislative Council LC Paper No. CB[removed]These minutes have been seen by the Administration) Ref : CB1/BC/3/02 Add to Reading List Source URL: www.legco.gov.hk Language: English - Date: 2005-07-26 03:18:06 Static program analysis Data types Primitive types Pointer Data-flow analysis Alias analysis Aliasing Algorithm Compiler optimization Software engineering Computing Mathematics
23	Demand-Driven Alias Analysis for C Xin Zheng and Radu Rugina Computer Science Department Cornell University Ithaca, NY 14853 {xinz, rugina}@cs.cornell.edu Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2007-11-09 11:10:22 Static program analysis Data types Primitive types Pointer Data-flow analysis Alias analysis Aliasing Algorithm Compiler optimization Software engineering Computing Mathematics
24	Alias Analysis for Assembly David Brumley and James Newsome December 15, 2006 CMU-CS-06-180R Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Programming language implementation Software engineering Alias analysis Static program analysis X86 assembly language JMP IBM Basic assembly language PDP-8 Random access machine Assembly languages Computer architecture Computing
25	Custom Alias-analysis in an LLVM-backed region-based Dynamic Binary Translator Tom Spink April 2014 Add to Reading List Source URL: llvm.org Language: English - Date: 2014-04-14 10:49:50 Programming language implementation Compiler construction Compilers Virtual machines LLVM Cross-platform software Compiler Lua Just-in-time compilation Software Computing System software
26	Effective Dynamic Detection of Alias Analysis Errors Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang Columbia University, United States {jingyue,ganghu,ty,junfeng}@cs.columbia.edu Add to Reading List Source URL: systems.cs.columbia.edu Language: English - Date: 2013-09-04 15:38:19 Data types Software bugs Primitive types Static program analysis Pointer Compiler construction Alias analysis Aliasing Memory safety Software engineering Computing Computer programming
27	c Copyright 2014 Colin S. Gordon Verifying Concurrent Programs by Controlling Alias Interference Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-22 12:11:10 Data types Type theory Programming paradigms Object-oriented programming Program analysis Type system Subtype polymorphism Haskell Parallel computing Software engineering Computing Computer programming
28	ARTICLE IN PRESS Computers & Geosciences[removed]–428 Topological models and frameworks for 3D spatial objects Siyka Zlatanovaa,, Alias Abdul Rahmanb, Wenzhong Shic Add to Reading List Source URL: www.lsgi.polyu.edu.hk Language: English* - Date: 2006-10-20 03:33:16 Cartography Computer-aided design Geostatistics Spatial analysis 3D modeling Geographic information system Manifold Object-based spatial database Solid modeling Statistics Visual effects 3D computer graphics
29	Text Analysis with LingPipe 4 Text Analysis with LingPipe 4 Bob Carpenter Add to Reading List Source URL: alias-i.com Language: English - Date: 2012-07-06 08:52:01 Speech recognition Statistical classification Corpus linguistics Machine learning Naive Bayes classifier Tokenization Lexical analysis Natural language processing Latent Dirichlet allocation Statistics Computational linguistics Linguistics
30	Fast Algorithms for Dyck-CFL-Reachability with Applications to Alias Analysis Qirun Zhang Michael R. Lyu Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2013-04-17 03:56:46 Reachability Graph Graphical models Network theory Topological sorting Directed acyclic graph Graph theory Mathematics Graph connectivity